Knaster–Tarski theorem

#	Item
11	From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference Add to Reading List Source URL: coalg.org Language: English - Date: 2012-02-09 12:55:46 Model theory Functions and mappings Recursion First-order logic Function Knaster–Tarski theorem Universal quantification Categorical logic Topos Mathematics Mathematical logic Logic
12	PDF Document Add to Reading List Source URL: caicedoteaching.files.wordpress.com Language: English - Date: 2009-01-21 20:02:27 Boolean algebra Order theory Lattice theory Algebraic structures Forcing Knaster–Tarski theorem Heyting algebra Derivative algebra Complete lattice Mathematics Abstract algebra Mathematical logic